<!--

    Copyright (c) 2011, JWebUnit team.

    This file is part of JWebUnit.

    JWebUnit is free software: you can redistribute it and/or modify
    it under the terms of the GNU Lesser General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    JWebUnit is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU Lesser General Public License
    along with JWebUnit.  If not, see <http://www.gnu.org/licenses/>.

-->
<html>
	<head>
		<title>prototype.js test</title>
		<script language="Javascript">
			function foo() {
				var ua = navigator.userAgent;
				var target = document.getElementById('target');
				target.innerHTML = ua;
				var nothing = ua.indexOf("test");	// crashes here if user agent is null
			}
		</script>
	</head>
<body onLoad="foo()">
	<pre id="target">not loaded</pre>
</body>
</html>
